[prev] [prev-tail] [tail] [up]

Integrals 101 to 156

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 130 140 0 0 0 0 0 0

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.083 0.089 0.000 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 73 82 0 0 0 0 0

N.S.

1 1.00 0.87 0.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.045 0.020 0.091 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 69 65 0 0 0 0 0

N.S.

1 1.00 1.08 1.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.074 0.054 0.056 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.010 0.158 0.042 0.354 0.000 0.964 0.272 2.294

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

223 223 339 0 0 0 0 0 0

N.S.

1 1.00 1.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.389 0.233 0.000 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

167 167 184 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 0.298 0.000 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

161 161 222 0 0 0 0 0 0

N.S.

1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.255 0.101 0.000 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 98 119 0 0 0 0 0

N.S.

1 1.00 0.83 1.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.150 0.129 0.092 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 105 81 0 0 0 0 0

N.S.

1 1.00 1.25 0.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.086 0.076 0.066 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.010 0.165 0.042 0.363 0.000 7.076 0.281 2.350

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

285 285 334 0 0 0 0 0 0

N.S.

1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.365 0.569 0.000 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

229 229 210 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.295 0.536 0.000 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

222 222 221 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.298 0.268 0.000 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 118 147 0 0 0 0 0

N.S.

1 1.00 0.80 1.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.147 0.196 0.093 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 111 105 0 0 0 0 0

N.S.

1 1.00 0.99 0.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.131 0.147 0.066 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.010 0.164 0.040 0.342 0.000 67.437 0.282 2.318

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 134 12 10 12 12

N.S.

1 1.00 1.20 1.00 13.40 1.20 1.00 1.20 1.20

time (sec)

N/A 0.070 0.397 0.478 0.472 0.271 5.765 0.409 2.558

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 134 12 10 12 12

N.S.

1 1.00 1.20 1.00 13.40 1.20 1.00 1.20 1.20

time (sec)

N/A 0.081 0.377 0.335 0.483 0.256 3.047 0.345 2.880

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

137 137 123 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.071 0.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 55 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.016 0.019 0.000 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.012 0.181 0.257 0.244 0.246 0.454 0.286 2.413

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 268 12 10 12 12

N.S.

1 1.00 1.20 1.00 26.80 1.20 1.00 1.20 1.20

time (sec)

N/A 0.011 0.205 0.260 0.530 0.243 0.851 0.268 2.431

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 0 0 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.00 0.00 1.00

time (sec)

N/A 0.018 0.310 0.059 0.348 0.000 0.000 0.000 2.453

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 0 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 0.00 1.00

time (sec)

N/A 0.010 0.300 0.061 0.350 0.000 64.646 0.000 2.417

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 0 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 0.00 1.00

time (sec)

N/A 0.011 0.369 0.053 0.360 0.000 1.204 0.000 2.435

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.010 0.379 0.054 0.359 0.000 0.607 0.467 2.439

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.010 0.342 0.049 0.358 0.000 4.078 0.328 2.455

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 14 14 12 0 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 0.00 1.17

time (sec)

N/A 0.015 0.412 0.045 0.351 0.269 3.978 0.000 2.438

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

173 173 145 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.154 0.114 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 119 99 0 0 0 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.134 0.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 113 97 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.109 0.055 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 57 38 0 0 0 0 0

N.S.

1 1.00 0.97 0.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.062 0.011 0.086 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 45 40 0 0 0 0 0

N.S.

1 1.00 0.92 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.036 0.026 0.072 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.012 0.233 0.034 0.354 0.267 0.482 0.426 2.576

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.014 0.901 0.036 0.362 0.278 0.686 0.408 2.471

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

213 213 215 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.405 0.317 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 145 111 0 0 0 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.273 0.059 0.000 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 102 101 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.158 0.188 0.000 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 282 215 0 0 0 0 0 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.543 0.223 0.000 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

179 179 114 0 0 0 0 0 0

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.294 0.065 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 135 251 0 0 0 0 0 0

N.S.

1 1.00 1.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.182 0.583 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

327 327 198 0 0 0 0 0 0

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.829 0.231 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

223 223 115 0 0 0 0 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.468 0.062 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

155 155 282 0 0 0 0 0 0

N.S.

1 1.00 1.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.272 2.056 0.000 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 194 196 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.206 0.165 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 108 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.111 0.051 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 101 0 0 0 0 0 0

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.070 0.094 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

226 226 290 0 0 0 0 0 0

N.S.

1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.198 0.297 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 135 134 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.106 0.084 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

116 116 137 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.159 0.204 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

271 271 340 0 0 0 0 0 0

N.S.

1 1.00 1.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.587 1.089 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

183 183 200 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.324 0.548 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 143 181 0 0 0 0 0 0

N.S.

1 1.00 1.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.417 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

346 346 417 0 0 0 0 0 0

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.656 1.181 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

219 219 208 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 0.830 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

178 178 210 0 0 0 0 0 0

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.305 0.407 0.000 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]